perm filename BB18.LAP[206,LSP] blob sn#127493 filedate 1974-10-24 generic text, type T, neo UTF8
(DEFPROP BBFCNS (BBFCNS BBXGP BBPUB BBTTY BBLPT NEWFONTS XGP FONTLIST NUMFONTS MINFONT GETFONT MAXFONT LINL BBTT→
YLPT SIN FIN HIN MAXF BBPPROPS BBPPROP BBPROPS TTYMSG NEWLINE PREX BBEX BBVALDEF BBFUNDEF MAK BBFUN BBARGS XBLAN→
K XSYM XCONST BRACKET BBEXL INPUNA XL FNTLENGTH FSIZEL FSIZE PSIZE CHVAL XVAR SMALLNAM SMALL SUMLEN BBLIST BBLAM→
BDA PARENS BBLAMBDAF BBVARS BINOPB BBCOND BBQUOTE BBLISTF BBFUNCTION BBPROG UNOP BBSELECTQ BBSELECTA XLL XBOLD B→
BPROGA LABL ALPHABETIC ALPHANUM BBQUOTEL BBELSE INOPB INOPBB SIMPLEPRINT PREH PRA PRF PRT PRINX PRINXX SELECTCHA→
R FONTSYMS ULINE PRINDEC XSPACE PFONTS PRINTC BBXGPPUB XGPLINL CHARW SCANTABLE SETBITS CLEARBITS SLASHIFY SETSLA→
SHES SETSCANTABLE SCANPUSH SCANPOP) VALUE) 

(LAP BBXGP SUBR) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE 177)) 
       (CALL 1 (E ASCII) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE ↓) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVEI 2 (QUOTE //) S) 
       (CALL 2 (E XCONS) S) 
       (CALL 1 (E MAKNAM) S) 
       (MOVEM 1 (SPECIAL SELECTCHAR) S) 
       (MOVEI 1 (QUOTE 7)) 
       (CALL 1 (E ASCII) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE 11)) 
       (CALL 1 (E ASCII) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE 12)) 
       (CALL 1 (E ASCII) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE 13)) 
       (CALL 1 (E ASCII) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE 14)) 
       (CALL 1 (E ASCII) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE 15)) 
       (CALL 1 (E ASCII) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE 16)) 
       (CALL 1 (E ASCII) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE 17)) 
       (CALL 1 (E ASCII) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVEI 2 (QUOTE λ) S) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVEI 2 (QUOTE ε) S) 
       (CALL 2 (E XCONS) S) 
       (MOVEI 2 (QUOTE ¬) S) 
       (CALL 2 (E XCONS) S) 
       (MOVEI 2 (QUOTE ∧) S) 
       (CALL 2 (E XCONS) S) 
       (MOVEI 2 (QUOTE β) S) 
       (CALL 2 (E XCONS) S) 
       (MOVEI 2 (QUOTE α) S) 
       (CALL 2 (E XCONS) S) 
       (MOVEI 2 (QUOTE ↓) S) 
       (CALL 2 (E XCONS) S) 
       (MOVEM 1 (SPECIAL FONTSYMS) S) 
       (CLEARM 0 (SPECIAL PUB) S) 
       (MOVE 1 0 P) 
       (CALL 1 (E BBXGPPUB) S) 
       (MOVEI 1 (QUOTE NIL)) 
       (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP BBPUB SUBR) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE %) S) 
       (MOVEM 1 (SPECIAL SELECTCHAR) S) 
       (MOVE 1 (SPECIAL PFONTS) S) 
       (MOVEM 1 (SPECIAL FONTSYMS) S) 
       (MOVEI 1 (QUOTE T) S) 
       (MOVEM 1 (SPECIAL PUB) S) 
       (MOVEI 1 (QUOTE (∂ { % //)) S) 
       (CALL 1 (E SETSLASHES) S) 
       (MOVEI 1 (QUOTE /.BEGIN/ NOFILL) S) 
       (CALL 1 (E PRINTC) S) 
       (MOVEI 1 (QUOTE /.VARIABLE/ CHW) S) 
       (CALL 1 (E PRINTC) S) 
       (MOVEI 1 (QUOTE /.CHW/ ←/ CHARW) S) 
       (CALL 1 (E PRINTC) S) 
       (MOVEI 1 (QUOTE /.TURN/ OFF/ /"βα#\←∞↑↓∪/") S) 
       (CALL 1 (E PRINTC) S) 
       (MOVEI 1 (QUOTE /.TURN/ ON/ /"∂{%/") S) 
       (CALL 1 (E PRINTC) S) 
       (MOVEI 1 (QUOTE /.TURN/ ON/ /"///"/ FOR/ /"α/") S) 
       (CALL 1 (E PRINTC) S) 
       (MOVEI 1 (QUOTE /.AT/ /"∂∂/(/"/ CH/ /"/)/"/ ⊂/ CHARW←CH}∂/(2/){CHARW←CHW/ ⊃) S) 
       (CALL 1 (E PRINTC) S) 
       (MOVE 1 0 P) 
       (CALL 1 (E BBXGPPUB) S) 
       (MOVEI 1 (QUOTE /.END) S) 
       (CALL 1 (E PRINTC) S) 
       (MOVEI 2 (QUOTE NIL)) 
       (MOVEI 1 (QUOTE NIL)) 
       (CALL 2 (E OUTC) S) 
       (PUSH P 1) 
       (CALL 0 (E SCANPUSH) S) 
       (MOVEI 1 (QUOTE PUB/ FONTS:) S) 
       (CALL 1 (E PRINTC) S) 
       (PUSH P (SPECIAL FONTLIST) S) 
 TAG1  (MOVE 1 0 P) 
       (JUMPE 1 TAG11) 
       (HLRZ@ 1 0 P) 
       (PUSH P 1) 
       (HRRZ@ 2 0 P) 
       (HLRZ@ 2 2) 
       (MOVE 1 (SPECIAL PFONTS) S) 
       (CALL 2 (E NTH) S) 
       (HLRZ@ 1 1) 
       (CALL 1 (E PRINTC) S) 
       (MOVEI 1 (QUOTE / ) S) 
       (CALL 1 (E PRINC) S) 
       (HRRZ@ 1 0 P) 
       (CALL 1 (E CADR) S) 
       (CALL 1 (E PRINC) S) 
       (HRRZ@ 1 -1 P) 
       (MOVEM 1 -1 P) 
       (SUB P (C 1 0 1 0)) 
       (JRST 0 TAG1) 
 TAG11 (MOVEI 2 (QUOTE NIL)) 
       (MOVE 1 -1 P) 
       (CALL 2 (E OUTC) S) 
       (MOVEI 1 (QUOTE NIL)) 
       (SUB P (C 3 0 3 0)) 
       (POPJ P) 
       NIL 

(LAP BBTTY SUBR) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE 105)) 
       (MOVEM 1 (SPECIAL LINL) S) 
       (MOVE 1 0 P) 
       (SUB P (C 1 0 1 0)) 
       (JCALL 1 (E BBTTYLPT) S) 
       NIL 

(LAP BBLPT SUBR) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE 160)) 
       (MOVEM 1 (SPECIAL LINL) S) 
       (MOVE 1 0 P) 
       (SUB P (C 1 0 1 0)) 
       (JCALL 1 (E BBTTYLPT) S) 
       NIL 

(LAP NEWFONTS SUBR) 
       (MOVEI 1 (QUOTE T) S) 
       (MOVEM 1 (SPECIAL XGP) S) 
       (CLEARM 0 (SPECIAL FONTLIST) S) 
       (MOVE 1 (SPECIAL MINFONT) S) 
       (MOVEM 1 (SPECIAL NUMFONTS) S) 
       (MOVEI 1 (QUOTE SYM) S) 
       (CALL 1 (E GETFONT) S) 
       (MOVEI 1 (QUOTE VAR) S) 
       (CALL 1 (E GETFONT) S) 
       (MOVEI 1 (QUOTE BOLD) S) 
       (CALL 1 (E GETFONT) S) 
       (MOVEI 1 (QUOTE CONST) S) 
       (CALL 1 (E GETFONT) S) 
       (MOVEI 1 (QUOTE NIL)) 
       (POPJ P) 
       NIL 

(DEFPROP XGP (XGP . T) VALUE) 

(DEFPROP FONTLIST (FONTLIST (CONST 4 BDR30 (176 . 15) (175 . 21) (174 . 7) (173 . 15) (172 . 16) (171 . 20) (170→
 . 17) (167 . 27) (166 . 20) (165 . 17) (164 . 14) (163 . 15) (162 . 15) (161 . 16) (160 . 16) (157 . 20) (156 .→
 17) (155 . 25) (154 . 10) (153 . 20) (152 . 12) (151 . 10) (150 . 17) (147 . 16) (146 . 13) (145 . 17) (144 . 1→
7) (143 . 16) (142 . 17) (141 . 15) (140 . 7) (137 . 22) (136 . 16) (135 . 11) (134 . 24) (133 . 11) (132 . 23) →
(131 . 23) (130 . 24) (127 . 33) (126 . 25) (125 . 25) (124 . 24) (123 . 17) (122 . 22) (121 . 30) (120 . 20) (1→
17 . 30) (116 . 24) (115 . 31) (114 . 21) (113 . 23) (112 . 15) (111 . 11) (110 . 23) (107 . 24) (106 . 21) (105→
 . 22) (104 . 26) (103 . 24) (102 . 21) (101 . 26) (100 . 26) (77 . 15) (76 . 24) (75 . 16) (74 . 22) (73 . 10) →
(72 . 10) (71 . 16) (70 . 16) (67 . 16) (66 . 16) (65 . 16) (64 . 16) (63 . 16) (62 . 16) (61 . 16) (60 . 16) (5→
7 . 24) (56 . 6) (55 . 16) (54 . 7) (53 . 16) (52 . 24) (51 . 12) (50 . 12) (47 . 7) (46 . 26) (45 . 21) (44 . 1→
7) (43 . 20) (42 . 15) (41 . 10) (40 . 13) (37 . 26) (36 . 16) (35 . 24) (34 . 22) (33 . 16) (32 . 24) (31 . 22)→
 (30 . 17) (27 . 25) (26 . 23) (25 . 22) (24 . 26) (23 . 20) (22 . 20) (21 . 26) (20 . 25) (17 . 21) (16 . 34) (→
15 . 1) (14 . 1) (13 . 1) (12 . 1) (11 . 1) (10 . 22) (7 . 25) (6 . 16) (5 . 16) (4 . 26) (3 . 27) (2 . 32) (1 .→
 16)) (BOLD 3 BASB30 (172 . 14) (171 . 21) (170 . 23) (167 . 26) (166 . 17) (165 . 21) (164 . 13) (163 . 14) (16→
2 . 14) (161 . 21) (160 . 22) (157 . 17) (156 . 22) (155 . 33) (154 . 11) (153 . 21) (152 . 14) (151 . 12) (150 →
. 21) (147 . 21) (146 . 16) (145 . 15) (144 . 20) (143 . 16) (142 . 21) (141 . 17) (140 . 6) (132 . 23) (131 . 2→
6) (130 . 27) (127 . 36) (126 . 27) (125 . 30) (124 . 26) (123 . 21) (122 . 27) (121 . 30) (120 . 24) (117 . 27)→
 (116 . 27) (115 . 33) (114 . 23) (113 . 30) (112 . 16) (111 . 15) (110 . 30) (107 . 26) (106 . 22) (105 . 23) (→
104 . 27) (103 . 25) (102 . 23) (101 . 26) (77 . 12) (73 . 6) (72 . 7) (71 . 16) (70 . 17) (67 . 16) (66 . 16) (→
65 . 17) (64 . 21) (63 . 16) (62 . 16) (61 . 14) (60 . 16) (57 . 12) (56 . 7) (55 . 11) (54 . 6) (52 . 14) (51 .→
 10) (50 . 11) (47 . 6) (46 . 27) (44 . 16) (43 . 23) (41 . 6) (40 . 12) (37 . 22) (36 . 21) (35 . 25) (34 . 31)→
 (33 . 31) (30 . 22) (16 . 31) (5 . 24)) (VAR 2 BASI30 (176 . 14) (175 . 21) (174 . 7) (173 . 14) (172 . 15) (17→
1 . 15) (170 . 17) (167 . 24) (166 . 16) (165 . 21) (164 . 12) (163 . 14) (162 . 14) (161 . 15) (160 . 22) (157 →
. 14) (156 . 21) (155 . 26) (154 . 11) (153 . 20) (152 . 10) (151 . 11) (150 . 17) (147 . 20) (146 . 14) (145 . →
14) (144 . 20) (143 . 13) (142 . 14) (141 . 17) (140 . 7) (137 . 23) (136 . 17) (135 . 20) (134 . 17) (133 . 20)→
 (132 . 23) (131 . 23) (130 . 27) (127 . 36) (126 . 22) (125 . 26) (124 . 25) (123 . 22) (122 . 27) (121 . 23) (→
120 . 26) (117 . 24) (116 . 33) (115 . 36) (114 . 24) (113 . 30) (112 . 25) (111 . 14) (110 . 33) (107 . 25) (10→
6 . 26) (105 . 25) (104 . 27) (103 . 23) (102 . 24) (101 . 24) (100 . 24) (77 . 13) (76 . 17) (75 . 22) (74 . 17→
) (73 . 11) (72 . 7) (71 . 20) (70 . 21) (67 . 16) (66 . 21) (65 . 21) (64 . 17) (63 . 22) (62 . 21) (61 . 14) (→
60 . 21) (57 . 12) (56 . 6) (55 . 11) (54 . 6) (53 . 15) (52 . 16) (51 . 13) (50 . 13) (47 . 7) (46 . 32) (45 . →
20) (44 . 22) (43 . 21) (42 . 14) (41 . 13) (40 . 12) (37 . 23) (36 . 21) (35 . 23) (34 . 17) (33 . 30) (32 . 5)→
 (31 . 23) (30 . 21) (27 . 23) (26 . 21) (25 . 20) (24 . 21) (23 . 17) (22 . 17) (21 . 21) (20 . 21) (17 . 20) (→
16 . 30) (14 . 21) (10 . 20) (7 . 21) (6 . 14) (5 . 27) (4 . 22) (3 . 25) (2 . 27) (1 . 17)) (SYM 1 BDR30 (176 .→
 15) (175 . 21) (174 . 7) (173 . 15) (172 . 16) (171 . 20) (170 . 17) (167 . 27) (166 . 20) (165 . 17) (164 . 14→
) (163 . 15) (162 . 15) (161 . 16) (160 . 16) (157 . 20) (156 . 17) (155 . 25) (154 . 10) (153 . 20) (152 . 12) →
(151 . 10) (150 . 17) (147 . 16) (146 . 13) (145 . 17) (144 . 17) (143 . 16) (142 . 17) (141 . 15) (140 . 7) (13→
7 . 22) (136 . 16) (135 . 11) (134 . 24) (133 . 11) (132 . 23) (131 . 23) (130 . 24) (127 . 33) (126 . 25) (125 →
. 25) (124 . 24) (123 . 17) (122 . 22) (121 . 30) (120 . 20) (117 . 30) (116 . 24) (115 . 31) (114 . 21) (113 . →
23) (112 . 15) (111 . 11) (110 . 23) (107 . 24) (106 . 21) (105 . 22) (104 . 26) (103 . 24) (102 . 21) (101 . 26→
) (100 . 26) (77 . 15) (76 . 24) (75 . 16) (74 . 22) (73 . 10) (72 . 10) (71 . 16) (70 . 16) (67 . 16) (66 . 16)→
 (65 . 16) (64 . 16) (63 . 16) (62 . 16) (61 . 16) (60 . 16) (57 . 24) (56 . 6) (55 . 16) (54 . 7) (53 . 16) (52→
 . 24) (51 . 12) (50 . 12) (47 . 7) (46 . 26) (45 . 21) (44 . 17) (43 . 20) (42 . 15) (41 . 10) (40 . 13) (37 . →
26) (36 . 16) (35 . 24) (34 . 22) (33 . 16) (32 . 24) (31 . 22) (30 . 17) (27 . 25) (26 . 23) (25 . 22) (24 . 26→
) (23 . 20) (22 . 20) (21 . 26) (20 . 25) (17 . 21) (16 . 34) (15 . 1) (14 . 1) (13 . 1) (12 . 1) (11 . 1) (10 .→
 22) (7 . 25) (6 . 16) (5 . 16) (4 . 26) (3 . 27) (2 . 32) (1 . 16))) VALUE) 

(DEFPROP NUMFONTS (NUMFONTS . 4) VALUE) 

(DEFPROP MINFONT (MINFONT . 0) VALUE) 

(LAP GETFONT SUBR) 
       (PUSH P 1) 
       (MOVE 1 (SPECIAL XGP) S) 
       (JUMPN 1 TAG2) 
       (MOVEI 1 (QUOTE (NIL NIL)) S) 
       (JRST 0 TAG1) 
 TAG2  (MOVE 2 (SPECIAL FONTLIST) S) 
       (MOVE 1 0 P) 
       (CALL 2 (E ASSOC) S) 
       (PUSH P 1) 
       (JUMPN 1 TAG7) 
       (MOVEI 2 (QUOTE NIL)) 
       (CALL 2 (E OUTC) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE FONT/ ) S) 
       (CALL 1 (E PRINC) S) 
       (MOVE 1 (SPECIAL NUMFONTS) S) 
       (CALL 1 (E ADD1) S) 
       (CALL 1 (E PRINC) S) 
       (MOVEI 1 (QUOTE / ) S) 
       (CALL 1 (E PRINC) S) 
       (MOVE 1 -2 P) 
       (CALL 1 (E PRINC) S) 
       (MOVEI 2 (QUOTE NIL)) 
       (MOVE 1 0 P) 
       (CALL 2 (E OUTC) S) 
       (CALL 0 (E LINEREAD) S) 
       (MOVEI 2 (QUOTE DSK:) S) 
       (CALL 2 (E XCONS) S) 
       (CALL 17 (E INPUT) S) 
       (MOVEI 2 (QUOTE NIL)) 
       (CALL 2 (E INC) S) 
       (MOVE 1 (SPECIAL NUMFONTS) S) 
       (CAME 1 (SPECIAL MAXFONT) S) 
       (JRST 0 TAG15) 
       (MOVEI 1 (QUOTE (TOO MANY FONTS)) S) 
       (CALL 1 (E ERROR) S) 
       (JRST 0 TAG14) 
 TAG15 (MOVE 1 (SPECIAL NUMFONTS) S) 
       (CALL 1 (E ADD1) S) 
       (MOVEM 1 (SPECIAL NUMFONTS) S) 
 TAG14 (PUSH P 1) 
       (CALL 0 (E READ) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVEI 2 (QUOTE T) S) 
       (MOVEM 1 -1 P) 
       (MOVEI 1 (QUOTE NIL)) 
       (CALL 2 (E INC) S) 
       (MOVE 2 -1 P) 
       (MOVE 1 -2 P) 
       (CALL 2 (E CONS) S) 
       (MOVE 2 (SPECIAL FONTLIST) S) 
       (CALL 2 (E CONS) S) 
       (MOVEM 1 (SPECIAL FONTLIST) S) 
       (MOVE 1 -1 P) 
       (SUB P (C 1 0 1 0)) 
       (JRST 0 TAG6) 
 TAG7  (HRRZ@ 1 0 P) 
 TAG6  (SUB P (C 1 0 1 0)) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(DEFPROP MAXFONT (MAXFONT . 17) VALUE) 

(DEFPROP LINL (LINL . 2424) VALUE) 

(LAP BBTTYLPT SUBR) 
       (PUSH P 1) 
       (MOVE 1 (SPECIAL LINL) S) 
       (CALL 1 (E LINELENGTH) S) 
       (MOVE 1 (SPECIAL SIN) S) 
       (MOVEM 1 (SPECIAL SINDENT) S) 
       (MOVE 1 (SPECIAL FIN) S) 
       (MOVEM 1 (SPECIAL FINDENT) S) 
       (MOVE 1 (SPECIAL HIN) S) 
       (MOVEM 1 (SPECIAL HINDENT) S) 
       (MOVE 1 (SPECIAL MAXF) S) 
       (MOVEM 1 (SPECIAL FMAX) S) 
       (CLEARM 0 (SPECIAL XGP) S) 
       (CLEARM 0 (SPECIAL PUB) S) 
       (MOVE 2 0 P) 
       (MOVEI 1 (QUOTE BBPPROPS) S) 
       (PUSHJ P *MAPC) 
       (MOVEI 1 (QUOTE 105)) 
       (CALL 1 (E LINELENGTH) S) 
       (MOVEI 1 (QUOTE NIL)) 
       (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(DEFPROP SIN (SIN . 1) VALUE) 

(DEFPROP FIN (FIN . 2) VALUE) 

(DEFPROP HIN (HIN . 2) VALUE) 

(DEFPROP MAXF (MAXF . 10) VALUE) 

(LAP BBPPROPS SUBR) 
       (PUSH P 1) 
       (CALL 1 (E ATOM) S) 
       (JUMPE 1 TAG3) 
       (PUSH P (SPECIAL BBPROPS) S) 
 TAG1  (MOVE 1 0 P) 
       (JUMPE 1 TAG10) 
       (HLRZ@ 1 0 P) 
       (MOVE 2 1) 
       (PUSH P 1) 
       (MOVE 1 -2 P) 
       (CALL 2 (E GET) S) 
       (MOVE 3 1) 
       (MOVE 1 -2 P) 
       (CALL 3 (E BBPPROP) S) 
       (HRRZ@ 1 -1 P) 
       (MOVEM 1 -1 P) 
       (SUB P (C 1 0 1 0)) 
       (JRST 0 TAG1) 
 TAG10 (MOVEI 1 (QUOTE NIL)) 
       (SUB P (C 1 0 1 0)) 
       (JRST 0 TAG2) 
 TAG3  (MOVE 3 0 P) 
       (MOVEI 2 (QUOTE NIL)) 
       (MOVEI 1 (QUOTE NIL)) 
       (CALL 3 (E BBPPROP) S) 
 TAG2  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP BBPPROP SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (PUSH P 3) 
       (MOVE 1 3) 
       (JUMPE 1 TAG1) 
       (MOVE 1 -2 P) 
       (CALL 1 (E TTYMSG) S) 
       (CALL 0 (E TERPRI) S) 
       (CALL 0 (E TERPRI) S) 
       (MOVE 1 (SPECIAL XGP) S) 
       (JUMPE 1 TAG5) 
       (MOVEI 1 (QUOTE 60)) 
       (JRST 0 TAG4) 
 TAG5  (MOVEI 1 (QUOTE 3)) 
 TAG4  (CALL 1 (E NEWLINE) S) 
       (MOVE 1 -1 P) 
       (JUMPN 1 TAG11) 
       (MOVE 1 0 P) 
       (CALL 1 (E BBEX) S) 
       (HRRZ@ 1 1) 
       (JRST 0 TAG10) 
 TAG11 (CAIE 1 (QUOTE VALUE) S) 
       (JRST 0 TAG13) 
       (HRRZ@ 2 0 P) 
       (MOVE 1 -2 P) 
       (CALL 2 (E BBVALDEF) S) 
       (JRST 0 TAG10) 
 TAG13 (MOVE 4 -1 P) 
       (HRRZ@ 3 0 P) 
       (HRRZ@ 3 3) 
       (HRRZ@ 2 0 P) 
       (HLRZ@ 2 2) 
       (MOVE 1 -2 P) 
       (CALL 4 (E BBFUNDEF) S) 
 TAG10 (MOVEI 3 (QUOTE 0)) 
       (MOVEI 2 (QUOTE 0)) 
       (CALL 3 (E PREX) S) 
       (CALL 0 (E TERPRI) S) 
 TAG1  (SUB P (C 3 0 3 0)) 
       (POPJ P) 
       NIL 

(DEFPROP BBPROPS (BBPROPS EXPR FEXPR) VALUE) 

(LAP TTYMSG SUBR) 
       (PUSH P 1) 
       (MOVEI 2 (QUOTE NIL)) 
       (MOVEI 1 (QUOTE NIL)) 
       (CALL 2 (E OUTC) S) 
       (PUSH P 1) 
       (MOVE 1 -1 P) 
       (CALL 1 (E PRINT) S) 
       (MOVEI 2 (QUOTE NIL)) 
       (MOVE 1 0 P) 
       (CALL 2 (E OUTC) S) 
       (MOVEI 1 (QUOTE NIL)) 
       (SUB P (C 2 0 2 0)) 
       (POPJ P) 
       NIL 

(LAP NEWLINE SUBR) 
       (PUSH P 1) 
       (MOVE 1 (SPECIAL PUB) S) 
       (JUMPE 1 TAG4) 
       (CALL 0 (E TERPRI) S) 
       (MOVE 1 0 P) 
       (MOVEM 1 (SPECIAL IND) S) 
       (MOVEM 1 (SPECIAL POS) S) 
       (MOVEI 1 (QUOTE ∂∂) S) 
       (CALL 1 (E PRINC) S) 
       (MOVE 1 0 P) 
       (CALL 1 (E NCONS) S) 
       (CALL 1 (E PRINDEC) S) 
       (JRST 0 TAG3) 
 TAG4  (MOVE 1 (SPECIAL XGP) S) 
       (JUMPE 1 TAG5) 
       (CALL 0 (E TERPRI) S) 
       (MOVE 1 0 P) 
       (MOVEM 1 (SPECIAL IND) S) 
       (MOVEI 1 (QUOTE 0)) 
       (MOVEM 1 (SPECIAL POS) S) 
 TAG1  (MOVE 1 (SPECIAL POS) S) 
       (CAMN 1 (SPECIAL IND) S) 
       (JRST 0 TAG7) 
       (MOVE 2 1) 
       (MOVE 1 (SPECIAL IND) S) 
       (CALL 2 (E *DIF) S) 
       (MOVEI 2 (QUOTE 100)) 
       (CALL 2 (E *LESS) S) 
       (JUMPE 1 TAG12) 
       (MOVE 2 (SPECIAL POS) S) 
       (MOVE 1 (SPECIAL IND) S) 
       (CALL 2 (E *DIF) S) 
       (CALL 1 (E XSPACE) S) 
       (MOVE 1 (SPECIAL IND) S) 
       (MOVEM 1 (SPECIAL POS) S) 
       (JRST 0 TAG7) 
 TAG12 (MOVEI 1 (QUOTE 77)) 
       (CALL 1 (E XSPACE) S) 
       (MOVEI 2 (QUOTE 77)) 
       (MOVE 1 (SPECIAL POS) S) 
       (CALL 2 (E *PLUS) S) 
       (MOVEM 1 (SPECIAL POS) S) 
       (JRST 0 TAG1) 
 TAG7  (MOVEI 1 (QUOTE NIL)) 
       (JRST 0 TAG3) 
 TAG5  (CALL 0 (E TERPRI) S) 
       (MOVE 1 0 P) 
       (MOVEM 1 (SPECIAL IND) S) 
       (MOVEI 1 (QUOTE 0)) 
       (MOVEM 1 (SPECIAL POS) S) 
 TAG2  (MOVE 1 (SPECIAL POS) S) 
       (CAMN 1 (SPECIAL IND) S) 
       (JRST 0 TAG20) 
       (MOVEI 1 (QUOTE / ) S) 
       (CALL 1 (E PRINC) S) 
       (MOVE 1 (SPECIAL POS) S) 
       (CALL 1 (E ADD1) S) 
       (MOVEM 1 (SPECIAL POS) S) 
       (JRST 0 TAG2) 
 TAG20 (MOVEI 1 (QUOTE NIL)) 
 TAG3  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP PREX SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (PUSH P 3) 
       (MOVE 2 (SPECIAL POS) S) 
       (HLRZ@ 1 1) 
       (CALL 2 (E *PLUS) S) 
       (MOVE 2 0 P) 
       (CALL 2 (E *PLUS) S) 
       (MOVE 2 (SPECIAL LINL) S) 
       (CALL 2 (E *GREAT) S) 
       (JUMPN 1 TAG2) 
       (MOVE 1 -2 P) 
       (CALL 1 (E SIMPLEPRINT) S) 
       (JRST 0 TAG1) 
 TAG2  (HRRZ@ 1 -2 P) 
       (HLRZ@ 1 1) 
       (MOVEM 1 (SPECIAL SELECTQ) S) 
       (CAIE 1 (QUOTE E) S) 
       (JRST 0 TAG7) 
       (MOVE 4 (SPECIAL POS) S) 
       (MOVE 3 0 P) 
       (MOVE 2 -1 P) 
       (MOVE 1 -2 P) 
       (CALL 4 (E PREH) S) 
       (JRST 0 TAG6) 
 TAG7  (CAIE 1 (QUOTE H) S) 
       (JRST 0 TAG10) 
       (MOVE 2 (SPECIAL HINDENT) S) 
       (MOVE 1 (SPECIAL POS) S) 
       (CALL 2 (E *PLUS) S) 
       (MOVE 4 1) 
       (MOVE 3 0 P) 
       (MOVE 2 -1 P) 
       (MOVE 1 -2 P) 
       (CALL 4 (E PREH) S) 
       (JRST 0 TAG6) 
 TAG10 (CAIE 1 (QUOTE A) S) 
       (JRST 0 TAG11) 
       (MOVE 3 0 P) 
       (MOVE 2 -1 P) 
       (MOVE 1 -2 P) 
       (CALL 3 (E PRA) S) 
       (JRST 0 TAG6) 
 TAG11 (MOVEI 2 (QUOTE (B U)) S) 
       (CALL 2 (E MEMQ) S) 
       (JUMPE 1 TAG12) 
       (MOVEI 4 (QUOTE 255)) 
       (MOVE 3 0 P) 
       (MOVE 2 -1 P) 
       (MOVE 1 -2 P) 
       (CALL 4 (E PRF) S) 
       (JRST 0 TAG6) 
 TAG12 (MOVE 1 (SPECIAL SELECTQ) S) 
       (CAIE 1 (QUOTE F) S) 
       (JRST 0 TAG13) 
       (MOVE 4 (SPECIAL FMAX) S) 
       (MOVE 3 0 P) 
       (MOVE 2 -1 P) 
       (MOVE 1 -2 P) 
       (CALL 4 (E PRF) S) 
       (JRST 0 TAG6) 
 TAG13 (CAIE 1 (QUOTE T) S) 
       (JRST 0 TAG14) 
       (MOVE 3 0 P) 
       (MOVE 2 -1 P) 
       (MOVE 1 -2 P) 
       (CALL 3 (E PRT) S) 
       (JRST 0 TAG6) 
 TAG14 (MOVE 1 -2 P) 
       (CALL 1 (E PRINX) S) 
 TAG6 
 TAG1  (SUB P (C 3 0 3 0)) 
       (POPJ P) 
       NIL 

(LAP BBEX SUBR) 
       (PUSH P 1) 
       (CALL 1 (E ATOM) S) 
       (JUMPE 1 TAG2) 
       (MOVE 1 0 P) 
       (CALL 1 (E XVAR) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (MOVEI 2 (QUOTE 144)) 
       (CALL 2 (E XCONS) S) 
       (JRST 0 TAG1) 
 TAG2  (HLRZ@ 1 0 P) 
       (CALL 1 (E ATOM) S) 
       (JUMPE 1 TAG3) 
       (MOVE 2 (SPECIAL BBLIST) S) 
       (HLRZ@ 1 0 P) 
       (CALL 2 (E ASSOC) S) 
       (PUSH P 1) 
       (JUMPN 1 TAG5) 
       (HLRZ@ 1 -1 P) 
       (PUSH P 1) 
       (HRRZ@ 1 -2 P) 
       (CALL 1 (E BBARGS) S) 
       (MOVE 2 1) 
       (POP P 1) 
       (CALL 2 (E BBFUN) S) 
       (JRST 0 TAG4) 
 TAG5  (CALL 1 (E CDDR) S) 
       (JUMPN 1 TAG7) 
       (HRRZ@ 1 0 P) 
       (HLRZ@ 1 1) 
       (PUSH P 1) 
       (HRRZ@ 1 -2 P) 
       (CALLF@ 1 0 P) 
       (SUB P (C 1 0 1 0)) 
       (JRST 0 TAG4) 
 TAG7  (HRRZ@ 1 0 P) 
       (HLRZ@ 1 1) 
       (HRRZ@ 2 0 P) 
       (HRRZ@ 2 2) 
       (PUSH P 1) 
       (HRRZ@ 1 -2 P) 
       (CALLF@ 2 0 P) 
       (SUB P (C 1 0 1 0)) 
 TAG4  (SUB P (C 1 0 1 0)) 
       (JRST 0 TAG1) 
 TAG3  (HLRZ@ 1 0 P) 
       (HLRZ@ 1 1) 
       (CAIE 1 (QUOTE LAMBDA) S) 
       (JRST 0 TAG13) 
       (HLRZ@ 1 0 P) 
       (HRRZ@ 1 1) 
       (PUSH P 1) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E BBARGS) S) 
       (MOVE 2 1) 
       (POP P 1) 
       (CALL 2 (E BBLAMBDA) S) 
       (JRST 0 TAG1) 
 TAG13 (MOVE 1 0 P) 
       (CALL 1 (E BBARGS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE APPLY$) S) 
       (CALL 2 (E BBFUN) S) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP BBVALDEF SUBR) 
       (PUSH P 1) 
       (MOVE 1 2) 
       (CALL 1 (E NCONS) S) 
       (MOVEI 2 (QUOTE QUOTE) S) 
       (CALL 2 (E XCONS) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVEI 2 (QUOTE SETQ) S) 
       (CALL 2 (E XCONS) S) 
       (CALL 1 (E BBEX) S) 
       (HRRZ@ 1 1) 
       (POPJ P) 
       NIL 

(LAP BBFUNDEF SUBR) 
       (PUSH P 1) 
       (MOVE 1 2) 
       (PUSH P 3) 
       (PUSH P 4) 
       (CALL 1 (E BBARGS) S) 
       (MOVE 2 1) 
       (EXCH 1 -2 P) 
       (CALL 2 (E BBFUN) S) 
       (HRRZ@ 1 1) 
       (MOVEM 1 -2 P) 
       (MOVE 1 0 P) 
       (CAIE 1 (QUOTE EXPR) S) 
       (JRST 0 TAG2) 
       (CALL 0 (E XBLANK) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE ←/ ) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (JRST 0 TAG1) 
 TAG2  (CALL 0 (E XBLANK) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE /() S) 
       (CALL 1 (E XSYM) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE FEXPR) S) 
       (CALL 1 (E XCONST) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE /)/ ←/ ) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
 TAG1  (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 -2 P) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE A) S) 
       (CALL 2 (E MAK) S) 
       (EXCH 1 -1 P) 
       (CALL 1 (E BBEXL) S) 
       (MOVEI 2 (QUOTE 5)) 
       (CALL 2 (E BRACKET) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 -1 P) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE F) S) 
       (SUB P (C 3 0 3 0)) 
       (JCALL 2 (E MAK) S) 
       NIL 

(LAP MAK SUBR) 
       (PUSH P 1) 
       (MOVE 1 2) 
       (PUSH P 2) 
       (CALL 1 (E SUMLEN) S) 
       (POP P 2) 
       (EXCH 1 0 P) 
       (CALL 2 (E CONS) S) 
       (POP P 2) 
       (JCALL 2 (E XCONS) S) 
       NIL 

(LAP BBFUN SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (JUMPN 2 TAG2) 
       (CALL 1 (E XVAR) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE /[/]) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (MOVE 2 1) 
       (JRST 0 TAG1) 
 TAG2  (HRRZ@ 1 2) 
       (JUMPN 1 TAG4) 
       (MOVE 1 -1 P) 
       (CALL 1 (E XVAR) S) 
       (PUSH P 1) 
       (CALL 0 (E XBLANK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HLRZ@ 1 -1 P) 
       (HRRZ@ 1 1) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE F) S) 
       (CALL 2 (E MAK) S) 
       (MOVE 2 1) 
       (JRST 0 TAG1) 
 TAG4  (MOVE 1 -1 P) 
       (CALL 1 (E XVAR) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE /[) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE /,/ ) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (MOVE 2 -1 P) 
       (CALL 2 (E INPUNA) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE E) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE /]) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE A) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE F) S) 
       (CALL 2 (E MAK) S) 
       (MOVE 2 1) 
 TAG1  (MOVEI 1 (QUOTE 132)) 
       (SUB P (C 2 0 2 0)) 
       (JCALL 2 (E CONS) S) 
       NIL 

(LAP BBARGS SUBR) 
       (PUSH P 1) 
       (PUSH P (C 0 0 TAG1 0)) 
       (MOVEI D (QUOTE BBEX) S) 
       (PUSH P D) 
       (PUSH P 1) 
       (MOVNI 6 2) 
       (JCALL 16 (E MAPCAR) S) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP XBLANK SUBR) 
       (MOVEI 2 (QUOTE / ) S) 
       (MOVEI 1 (QUOTE SYM) S) 
       (JCALL 2 (E XL) S) 
       NIL 

(LAP XSYM SUBR) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE SYM) S) 
       (JCALL 2 (E XL) S) 
       NIL 

(LAP XCONST SUBR) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE CONST) S) 
       (JCALL 2 (E XL) S) 
       NIL 

(LAP BRACKET SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (HLRZ@ 1 1) 
       (CALL 2 (E *GREAT) S) 
       (JUMPN 1 TAG2) 
       (MOVEI 1 (QUOTE /[) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HRRZ@ 1 -2 P) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE /]) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE A) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE B) S) 
       (CALL 2 (E MAK) S) 
       (JRST 0 TAG1) 
 TAG2  (HRRZ@ 1 -1 P) 
 TAG1  (SUB P (C 2 0 2 0)) 
       (POPJ P) 
       NIL 

(LAP BBEXL SUBR) 
       (PUSH P 1) 
       (JUMPN 1 TAG2) 
       (MOVEI 1 (QUOTE ****) S) 
       (CALL 1 (E BBEX) S) 
       (JRST 0 TAG1) 
 TAG2  (HRRZ@ 1 1) 
       (JUMPN 1 TAG4) 
       (HLRZ@ 1 0 P) 
       (CALL 1 (E BBEX) S) 
       (JRST 0 TAG1) 
 TAG4  (MOVEI 1 (QUOTE /,/ ) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (MOVE 1 -1 P) 
       (CALL 1 (E BBARGS) S) 
       (MOVE 2 1) 
       (POP P 1) 
       (CALL 2 (E INPUNA) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE E) S) 
       (CALL 2 (E MAK) S) 
       (MOVEI 2 (QUOTE 5)) 
       (CALL 2 (E XCONS) S) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP INPUNA SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (MOVE 1 2) 
       (JUMPE 1 TAG1) 
       (HRRZ@ 1 1) 
       (JUMPN 1 TAG2) 
       (HLRZ@ 1 2) 
       (HRRZ@ 1 1) 
       (CALL 1 (E NCONS) S) 
       (JRST 0 TAG1) 
 TAG2  (MOVE 1 -1 P) 
       (CALL 1 (E NCONS) S) 
       (HLRZ@ 2 0 P) 
       (HRRZ@ 2 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE A) S) 
       (CALL 2 (E MAK) S) 
       (HRRZ@ 2 0 P) 
       (PUSH P 1) 
       (MOVE 1 -2 P) 
       (CALL 2 (E INPUNA) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
 TAG1  (SUB P (C 2 0 2 0)) 
       (POPJ P) 
       NIL 

(LAP XL SUBR) 
       (PUSH P 2) 
       (CALL 1 (E GETFONT) S) 
       (EXCH 1 0 P) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (POP P 1) 
       (JCALL 2 (E FNTLENGTH) S) 
       NIL 

(LAP FNTLENGTH SUBR) 
       (PUSH P 2) 
       (HRRZ@ 2 1) 
       (HRRZ@ 2 2) 
       (PUSH P 1) 
       (MOVE 1 -1 P) 
       (CALL 2 (E FSIZEL) S) 
       (MOVE 2 -1 P) 
       (MOVEM 1 -1 P) 
       (HLRZ@ 1 0 P) 
       (CALL 2 (E CONS) S) 
       (MOVE 2 -1 P) 
       (SUB P (C 2 0 2 0)) 
       (JCALL 2 (E XCONS) S) 
       NIL 

(LAP FSIZEL SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (JUMPN 1 TAG2) 
       (MOVEI 1 (QUOTE 0)) 
       (JRST 0 TAG1) 
 TAG2  (MOVE 2 0 P) 
       (HLRZ@ 1 -1 P) 
       (CALL 2 (E FSIZE) S) 
       (MOVE 2 0 P) 
       (PUSH P 1) 
       (HRRZ@ 1 -2 P) 
       (CALL 2 (E FSIZEL) S) 
       (POP P 2) 
       (CALL 2 (E *PLUS) S) 
 TAG1  (SUB P (C 2 0 2 0)) 
       (POPJ P) 
       NIL 

(LAP FSIZE SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (MOVE 1 (SPECIAL XGP) S) 
       (JUMPE 1 TAG2) 
       (MOVE 1 -1 P) 
       (CALL 1 (E EXPLODEC) S) 
       (MOVE 2 0 P) 
       (CALL 2 (E PSIZE) S) 
       (JRST 0 TAG1) 
 TAG2  (MOVE 1 -1 P) 
       (CALL 1 (E FLATSIZEC) S) 
 TAG1  (SUB P (C 2 0 2 0)) 
       (POPJ P) 
       NIL 

(LAP PSIZE SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (JUMPN 1 TAG2) 
       (MOVEI 1 (QUOTE 0)) 
       (JRST 0 TAG1) 
 TAG2  (HLRZ@ 1 -1 P) 
       (CALL 1 (E CHVAL) S) 
       (MOVE 2 0 P) 
       (CALL 2 (E ASSOC) S) 
       (PUSH P 1) 
       (JUMPN 1 TAG7) 
       (MOVEI 1 (QUOTE 0)) 
       (JRST 0 TAG6) 
 TAG7  (HRRZ@ 1 0 P) 
 TAG6  (MOVE 2 -1 P) 
       (MOVEM 1 0 P) 
       (HRRZ@ 1 -2 P) 
       (CALL 2 (E PSIZE) S) 
       (POP P 2) 
       (CALL 2 (E *PLUS) S) 
 TAG1  (SUB P (C 2 0 2 0)) 
       (POPJ P) 
       NIL 

(LAP CHVAL SUBR) 
       (PUSH P 1) 
       (CALL 1 (E NUMBERP) S) 
       (JUMPE 1 TAG2) 
       (MOVEI 2 (QUOTE 60)) 
       (MOVE 1 0 P) 
       (CALL 2 (E *PLUS) S) 
       (JRST 0 TAG1) 
 TAG2  (MOVE 1 0 P) 
       (CALL 1 (E CHRVAL) S) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP XVAR SUBR) 
       (PUSH P 1) 
       (JUMPE 1 TAG4) 
       (CAIN 1 (QUOTE T) S) 
       (JRST 0 TAG4) 
       (CALL 1 (E NUMBERP) S) 
       (JUMPE 1 TAG2) 
 TAG4  (MOVE 1 0 P) 
       (CALL 1 (E XCONST) S) 
       (JRST 0 TAG1) 
 TAG2  (MOVE 1 0 P) 
       (CALL 1 (E SMALLNAM) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE VAR) S) 
       (CALL 2 (E XL) S) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP SMALLNAM SUBR) 
       (PUSH P 1) 
       (PUSH P (C 0 0 TAG1 0)) 
       (MOVEI D (QUOTE SMALL) S) 
       (PUSH P D) 
       (CALL 1 (E EXPLODE) S) 
       (PUSH P 1) 
       (MOVNI 6 2) 
       (JCALL 16 (E MAPCAR) S) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (JCALL 1 (E MAKNAM) S) 
       NIL 

(LAP SMALL SUBR) 
       (PUSH P 1) 
       (CALL 1 (E NUMBERP) S) 
       (JUMPE 1 TAG2) 
       (MOVE 1 0 P) 
       (JRST 0 TAG1) 
 TAG2  (MOVE 1 0 P) 
       (CALL 1 (E CHRVAL) S) 
       (PUSH P 1) 
       (MOVEI 2 (QUOTE 100)) 
       (CALL 2 (E *GREAT) S) 
       (JUMPE 1 TAG6) 
       (MOVEI 2 (QUOTE 133)) 
       (MOVE 1 0 P) 
       (CALL 2 (E *LESS) S) 
       (JUMPE 1 TAG6) 
       (MOVEI 2 (QUOTE 40)) 
       (MOVE 1 0 P) 
       (CALL 2 (E *PLUS) S) 
       (CALL 1 (E ASCII) S) 
       (JRST 0 TAG5) 
 TAG6  (MOVE 1 -1 P) 
 TAG5  (SUB P (C 1 0 1 0)) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP SUMLEN SUBR) 
       (PUSH P 1) 
       (JUMPN 1 TAG2) 
       (MOVEI 1 (QUOTE 0)) 
       (JRST 0 TAG1) 
 TAG2  (HLRZ@ 1 0 P) 
       (HLRZ@ 1 1) 
       (PUSH P 1) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E SUMLEN) S) 
       (POP P 2) 
       (CALL 2 (E *PLUS) S) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(DEFPROP BBLIST (BBLIST (CONS BINOPB 24 (SYM / ) (SYM /. / )) (APPEND BINOPB 12 (SYM / ) (SYM * / )) (COND BBCON→
D) (QUOTE BBQUOTE) (OR BINOPB 24 (SYM / ) (SYM ∨ / )) (AND BINOPB 24 (SYM / ) (SYM ∧/ )) (LIST BBLISTF) (LAMBDA →
BBLAMBDAF) (FUNCTION BBFUNCTION) (PLUS BINOPB 40 (SYM / ) (SYM + / )) (GREATERP BINOPB 30 (SYM / ) (SYM > / )) (→
LESSP BINOPB 30 (SYM / ) (SYM < / )) (PROG BBPROG) (NULL UNOP 132 (BOLD n/ )) (MINUS UNOP 132 (SYM -)) (CAR UNOP→
 132 (BOLD a/ )) (CDR UNOP 132 (BOLD d/ )) (CADR UNOP 132 (BOLD ad/ )) (CDAR UNOP 132 (BOLD da/ )) (CDDR UNOP 13→
2 (BOLD dd/ )) (CAAR UNOP 132 (BOLD aa/ )) (CAAAR UNOP 132 (BOLD aaa/ )) (CAADR UNOP 132 (BOLD aad/ )) (CADAR UN→
OP 132 (BOLD ada/ )) (CADDR UNOP 132 (BOLD add/ )) (CDAAR UNOP 132 (BOLD daa/ )) (CDADR UNOP 132 (BOLD dad/ )) (→
CDDAR UNOP 132 (BOLD dda/ )) (CDDDR UNOP 132 (BOLD ddd/ )) (CAAAAR UNOP 132 (BOLD aaaa/ )) (CAAADR UNOP 132 (BOL→
D aaad/ )) (CAADAR UNOP 132 (BOLD aada/ )) (CAADDR UNOP 132 (BOLD aadd/ )) (CADAAR UNOP 132 (BOLD adaa/ )) (CADA→
DR UNOP 132 (BOLD adad/ )) (CADDAR UNOP 132 (BOLD adda/ )) (CADDDR UNOP 132 (BOLD addd/ )) (CDAAAR UNOP 132 (BOL→
D daaa/ )) (CDAADR UNOP 132 (BOLD daad/ )) (CDADAR UNOP 132 (BOLD dada/ )) (CDADDR UNOP 132 (BOLD dadd/ )) (CDDA→
AR UNOP 132 (BOLD ddaa/ )) (CDDADR UNOP 132 (BOLD ddad/ )) (CDDDAR UNOP 132 (BOLD ddda/ )) (CDDDDR UNOP 132 (BOL→
D dddd/ )) (ATOM UNOP 132 (BOLD at/ )) (EQ BINOPB 30 (SYM / ) (BOLD eq/ )) (MEMBER BINOPB 30 (SYM / ) (SYM ε/ ))→
 (NOT UNOP 132 (SYM ¬)) (DIFFERENCE BINOPB 40 (SYM / ) (SYM -/ )) (SETQ BINOPB 20 (SYM / ) (SYM ←/ )) (SELECTQ B→
BSELECTQ)) VALUE) 

(LAP BBLAMBDA SUBR) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE {) S) 
       (PUSH P 2) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE }) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (MOVE 3 -1 P) 
       (MOVE 2 1) 
       (POP P 1) 
       (CALL 3 (E PARENS) S) 
       (EXCH 1 -1 P) 
       (CALL 1 (E BBLAMBDAF) S) 
       (HRRZ@ 1 1) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 -1 P) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE T) S) 
       (CALL 2 (E MAK) S) 
       (MOVEI 2 (QUOTE 144)) 
       (SUB P (C 2 0 2 0)) 
       (JCALL 2 (E XCONS) S) 
       NIL 

(LAP PARENS SUBR) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE /,/ ) S) 
       (PUSH P 2) 
       (PUSH P 3) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (POP P 2) 
       (CALL 2 (E INPUNA) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE E) S) 
       (CALL 2 (E MAK) S) 
       (EXCH 1 0 P) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE A) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE B) S) 
       (JCALL 2 (E MAK) S) 
       NIL 

(LAP BBLAMBDAF SUBR) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE /[λ) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HLRZ@ 1 -1 P) 
       (CALL 1 (E BBVARS) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE /./ ) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE A) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE B) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E BBEXL) S) 
       (MOVEI 2 (QUOTE 5)) 
       (CALL 2 (E BRACKET) S) 
       (MOVEM 1 -1 P) 
       (MOVEI 1 (QUOTE /]) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 -1 P) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE A) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE F) S) 
       (CALL 2 (E MAK) S) 
       (MOVEI 2 (QUOTE 144)) 
       (SUB P (C 1 0 1 0)) 
       (JCALL 2 (E XCONS) S) 
       NIL 

(LAP BBVARS SUBR) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE /,/ ) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (PUSH P (C 0 0 (QUOTE NIL) 0)) 
       (PUSH P (C 0 0 (QUOTE NIL) 0)) 
       (PUSH P (C 0 0 (QUOTE NIL) 0)) 
 TAG1  (MOVE 1 -4 P) 
       (JUMPE 1 TAG6) 
       (HLRZ@ 1 -4 P) 
       (CALL 1 (E XVAR) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (MOVEI 2 (QUOTE 144)) 
       (CALL 2 (E XCONS) S) 
       (CALL 1 (E NCONS) S) 
       (MOVEM 1 -2 P) 
       (MOVE 1 -1 P) 
       (JUMPE 1 TAG12) 
       (MOVE 1 -2 P) 
       (HRRM@ 1 -1 P) 
       (HRRZ@ 2 -1 P) 
       (JRST 0 TAG11) 
 TAG12 (MOVE 2 -2 P) 
       (MOVEM 2 0 P) 
 TAG11 (HRRZ@ 1 -4 P) 
       (MOVEM 1 -4 P) 
       (MOVEM 2 -1 P) 
       (JRST 0 TAG1) 
 TAG6  (MOVE 2 0 P) 
       (EXCH 1 -3 P) 
       (CALL 2 (E INPUNA) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE E) S) 
       (SUB P (C 5 0 5 0)) 
       (JCALL 2 (E MAK) S) 
       NIL 

(LAP BINOPB SUBR) 
       (PUSH P 1) 
       (HLRZ@ 1 2) 
       (PUSH P 1) 
       (PUSH P 2) 
       (PUSH P (C 0 0 TAG1 0)) 
       (MOVEI D (QUOTE XLL) S) 
       (PUSH P D) 
       (HRRZ@ 1 2) 
       (PUSH P 1) 
       (MOVNI 6 2) 
       (JCALL 16 (E MAPCAR) S) 
 TAG1  (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (EXCH 1 -2 P) 
       (CALL 1 (E BBARGS) S) 
       (HLRZ@ 3 0 P) 
       (MOVE 2 1) 
       (EXCH 1 -2 P) 
       (CALL 3 (E INOPB) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE E) S) 
       (CALL 2 (E MAK) S) 
       (MOVE 2 -1 P) 
       (SUB P (C 3 0 3 0)) 
       (JCALL 2 (E XCONS) S) 
       NIL 

(LAP BBCOND SUBR) 
       (PUSH P 1) 
       (JUMPN 1 TAG2) 
       (CALL 1 (E XVAR) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (MOVE 2 1) 
       (JRST 0 TAG1) 
 TAG2  (MOVEI 1 (QUOTE if) S) 
       (CALL 1 (E XBOLD) S) 
       (PUSH P 1) 
       (CALL 0 (E XBLANK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HLRZ@ 1 -1 P) 
       (HLRZ@ 1 1) 
       (CALL 1 (E BBEX) S) 
       (MOVEI 2 (QUOTE 12)) 
       (CALL 2 (E BRACKET) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE B) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (CALL 0 (E XBLANK) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE then) S) 
       (CALL 1 (E XBOLD) S) 
       (PUSH P 1) 
       (CALL 0 (E XBLANK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HLRZ@ 1 -2 P) 
       (HRRZ@ 1 1) 
       (CALL 1 (E BBEXL) S) 
       (MOVEI 2 (QUOTE 12)) 
       (CALL 2 (E BRACKET) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE B) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE T) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E BBELSE) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE E) S) 
       (CALL 2 (E MAK) S) 
       (MOVE 2 1) 
 TAG1  (MOVEI 1 (QUOTE 12)) 
       (SUB P (C 1 0 1 0)) 
       (JCALL 2 (E CONS) S) 
       NIL 

(LAP BBQUOTE SUBR) 
       (PUSH P 1) 
       (HLRZ@ 1 1) 
       (CALL 1 (E ATOM) S) 
       (JUMPE 1 TAG2) 
       (HLRZ@ 1 0 P) 
       (CALL 1 (E NUMBERP) S) 
       (JUMPN 1 TAG6) 
       (HLRZ@ 1 0 P) 
       (CALL 1 (E CHRVAL) S) 
       (CALL 1 (E ALPHABETIC) S) 
       (JUMPE 1 TAG4) 
       (HLRZ@ 1 0 P) 
       (CALL 1 (E EXPLODEC) S) 
       (HRRZ@ 1 1) 
       (CALL 1 (E ALPHANUM) S) 
       (JUMPE 1 TAG4) 
 TAG6  (HLRZ@ 1 0 P) 
       (CALL 1 (E XCONST) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (JRST 0 TAG3) 
 TAG4  (HLRZ@ 1 0 P) 
       (CALL 1 (E STRINGP) S) 
       (JUMPE 1 TAG11) 
       (MOVE 1 (SPECIAL PUB) S) 
       (JUMPE 1 TAG13) 
       (HLRZ@ 1 0 P) 
       (CALL 1 (E XCONST) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (JRST 0 TAG12) 
 TAG13 (MOVEI 1 (QUOTE /") S) 
       (CALL 1 (E XSYM) S) 
       (PUSH P 1) 
       (HLRZ@ 1 -1 P) 
       (CALL 1 (E XCONST) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE /") S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
 TAG12 (JRST 0 TAG3) 
 TAG11 (CALL 0 (E XBLANK) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE `) S) 
       (CALL 1 (E XSYM) S) 
       (PUSH P 1) 
       (HLRZ@ 1 -2 P) 
       (CALL 1 (E XCONST) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE '/ ) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
 TAG3  (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (MOVE 2 1) 
       (JRST 0 TAG1) 
 TAG2  (MOVEI 1 (QUOTE /() S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HLRZ@ 1 -1 P) 
       (CALL 1 (E BBQUOTEL) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE E) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE /)) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE A) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE B) S) 
       (CALL 2 (E MAK) S) 
       (MOVE 2 1) 
 TAG1  (MOVEI 1 (QUOTE 144)) 
       (SUB P (C 1 0 1 0)) 
       (JCALL 2 (E CONS) S) 
       NIL 

(LAP BBLISTF SUBR) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE <) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE >) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (EXCH 1 -1 P) 
       (CALL 1 (E BBARGS) S) 
       (MOVE 3 1) 
       (MOVE 2 -1 P) 
       (POP P 1) 
       (CALL 3 (E PARENS) S) 
       (MOVEI 2 (QUOTE 144)) 
       (SUB P (C 1 0 1 0)) 
       (JCALL 2 (E XCONS) S) 
       NIL 

(LAP BBFUNCTION SUBR) 
       (HLRZ@ 1 1) 
       (JCALL 1 (E BBEX) S) 
       NIL 

(LAP BBPROG SUBR) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE prog) S) 
       (CALL 1 (E XBOLD) S) 
       (PUSH P 1) 
       (CALL 0 (E XBLANK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HLRZ@ 1 -1 P) 
       (CALL 1 (E BBVARS) S) 
       (MOVEI 2 (QUOTE 0)) 
       (CALL 2 (E XCONS) S) 
       (MOVEI 2 (QUOTE 0)) 
       (CALL 2 (E BRACKET) S) 
       (PUSH P 1) 
       (HRRZ@ 1 -2 P) 
       (CALL 1 (E BBPROGA) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVEI 2 (QUOTE E) S) 
       (CALL 2 (E XCONS) S) 
       (MOVEI 2 (QUOTE 10000)) 
       (CALL 2 (E XCONS) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE B) S) 
       (CALL 2 (E MAK) S) 
       (MOVEI 2 (QUOTE 12)) 
       (SUB P (C 1 0 1 0)) 
       (JCALL 2 (E XCONS) S) 
       NIL 

(LAP UNOP SUBR) 
       (PUSH P 1) 
       (HLRZ@ 1 2) 
       (PUSH P 1) 
       (PUSH P 2) 
       (PUSH P (C 0 0 TAG1 0)) 
       (MOVEI D (QUOTE XLL) S) 
       (PUSH P D) 
       (HRRZ@ 1 2) 
       (PUSH P 1) 
       (MOVNI 6 2) 
       (JCALL 16 (E MAPCAR) S) 
 TAG1  (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (MOVEM 1 0 P) 
       (HLRZ@ 1 -2 P) 
       (CALL 1 (E BBEX) S) 
       (MOVEI 2 (QUOTE 131)) 
       (CALL 2 (E BRACKET) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE F) S) 
       (CALL 2 (E MAK) S) 
       (POP P 2) 
       (SUB P (C 1 0 1 0)) 
       (JCALL 2 (E XCONS) S) 
       NIL 

(LAP BBSELECTQ SUBR) 
       (PUSH P 1) 
       (CALL 1 (E LENGTH) S) 
       (MOVEI 2 (QUOTE 3)) 
       (CALL 2 (E *LESS) S) 
       (JUMPE 1 TAG2) 
       (MOVE 1 0 P) 
       (CALL 1 (E BBARGS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE SELECTQ) S) 
       (CALL 2 (E BBFUN) S) 
       (JRST 0 TAG1) 
 TAG2  (HLRZ@ 1 0 P) 
       (CALL 1 (E BBEX) S) 
       (PUSH P 1) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E BBSELECTA) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE SELECTQ) S) 
       (CALL 2 (E BBFUN) S) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP BBSELECTA SUBR) 
       (PUSH P 1) 
       (HRRZ@ 1 1) 
       (JUMPN 1 TAG2) 
       (HLRZ@ 1 0 P) 
       (CALL 1 (E BBEX) S) 
       (CALL 1 (E NCONS) S) 
       (JRST 0 TAG1) 
 TAG2  (HLRZ@ 1 0 P) 
       (CALL 1 (E BBQUOTE) S) 
       (HRRZ@ 1 1) 
       (PUSH P 1) 
       (CALL 0 (E XBLANK) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE A) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HLRZ@ 1 -1 P) 
       (HRRZ@ 1 1) 
       (CALL 1 (E BBEXL) S) 
       (MOVEI 2 (QUOTE 5)) 
       (CALL 2 (E BRACKET) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE B) S) 
       (CALL 2 (E MAK) S) 
       (MOVEI 2 (QUOTE 0)) 
       (CALL 2 (E XCONS) S) 
       (PUSH P 1) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E BBSELECTA) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP XLL SUBR) 
       (PUSH P 1) 
       (HLRZ@ 1 1) 
       (CALL 1 (E GETFONT) S) 
       (HRRZ@ 2 0 P) 
       (SUB P (C 1 0 1 0)) 
       (JCALL 2 (E FNTLENGTH) S) 
       NIL 

(LAP XBOLD SUBR) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE BOLD) S) 
       (JCALL 2 (E XL) S) 
       NIL 

(LAP BBPROGA SUBR) 
       (PUSH P 1) 
       (JUMPE 1 TAG1) 
       (HLRZ@ 1 1) 
       (CALL 1 (E ATOM) S) 
       (JUMPE 1 TAG2) 
       (HRRZ@ 1 0 P) 
       (JUMPN 1 TAG4) 
       (HLRZ@ 1 0 P) 
       (CALL 1 (E LABL) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE U) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (JRST 0 TAG3) 
 TAG4  (HLRZ@ 1 0 P) 
       (CALL 1 (E LABL) S) 
       (PUSH P 1) 
       (HRRZ@ 1 -1 P) 
       (HLRZ@ 1 1) 
       (CALL 1 (E BBEX) S) 
       (HRRZ@ 1 1) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE U) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HRRZ@ 1 -1 P) 
       (HRRZ@ 1 1) 
       (CALL 1 (E BBPROGA) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
 TAG3  (JRST 0 TAG1) 
 TAG2  (HLRZ@ 1 0 P) 
       (CALL 1 (E BBEX) S) 
       (HRRZ@ 1 1) 
       (PUSH P 1) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E BBPROGA) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP LABL SUBR) 
       (CALL 1 (E XVAR) S) 
       (PUSH P 1) 
       (CALL 0 (E XBLANK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (JCALL 2 (E MAK) S) 
       NIL 

(LAP ALPHABETIC SUBR) 
       (PUSH P 1) 
       (MOVEI 2 (QUOTE 100)) 
       (CALL 2 (E *GREAT) S) 
       (JUMPE 1 TAG2) 
       (MOVEI 2 (QUOTE 133)) 
       (MOVE 1 0 P) 
       (CALL 2 (E *LESS) S) 
       (JUMPN 1 TAG1) 
 TAG2  (TDZA 1 1) 
 TAG1  (MOVEI 1 (QUOTE T) S) 
       (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP ALPHANUM SUBR) 
       (PUSH P 1) 
       (JUMPE 1 TAG1) 
       (HLRZ@ 1 1) 
       (CALL 1 (E NUMBERP) S) 
       (JUMPN 1 TAG7) 
       (HLRZ@ 1 0 P) 
       (CALL 1 (E CHRVAL) S) 
       (CALL 1 (E ALPHABETIC) S) 
       (JUMPE 1 TAG5) 
 TAG7  (HRRZ@ 1 0 P) 
       (CALL 1 (E ALPHANUM) S) 
       (JUMPN 1 TAG1) 
 TAG5  (TDZA 1 1) 
 TAG1  (MOVEI 1 (QUOTE T) S) 
       (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP BBQUOTEL SUBR) 
       (PUSH P 1) 
       (HRRZ@ 1 1) 
       (JUMPN 1 TAG2) 
       (MOVE 1 0 P) 
       (CALL 1 (E BBQUOTE) S) 
       (HRRZ@ 1 1) 
       (CALL 1 (E NCONS) S) 
       (JRST 0 TAG1) 
 TAG2  (HRRZ@ 1 0 P) 
       (CALL 1 (E ATOM) S) 
       (JUMPE 1 TAG4) 
       (MOVE 1 0 P) 
       (CALL 1 (E BBQUOTE) S) 
       (HRRZ@ 1 1) 
       (PUSH P 1) 
       (CALL 0 (E XBLANK) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE /./ ) S) 
       (CALL 1 (E XSYM) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HRRZ@ 1 -2 P) 
       (CALL 1 (E NCONS) S) 
       (CALL 1 (E BBQUOTE) S) 
       (HRRZ@ 1 1) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE B) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (JRST 0 TAG1) 
 TAG4  (MOVE 1 0 P) 
       (CALL 1 (E BBQUOTE) S) 
       (HRRZ@ 1 1) 
       (PUSH P 1) 
       (CALL 0 (E XBLANK) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE A) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E BBQUOTEL) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP BBELSE SUBR) 
       (PUSH P 1) 
       (JUMPE 1 TAG1) 
       (CALL 1 (E CAAR) S) 
       (CAIE 1 (QUOTE T) S) 
       (JRST 0 TAG2) 
       (CALL 0 (E XBLANK) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE else) S) 
       (CALL 1 (E XBOLD) S) 
       (PUSH P 1) 
       (CALL 0 (E XBLANK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HLRZ@ 1 -1 P) 
       (HRRZ@ 1 1) 
       (CALL 1 (E BBEXL) S) 
       (MOVEI 2 (QUOTE 5)) 
       (CALL 2 (E BRACKET) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE B) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (JRST 0 TAG1) 
 TAG2  (CALL 0 (E XBLANK) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE else/ if) S) 
       (CALL 1 (E XBOLD) S) 
       (PUSH P 1) 
       (CALL 0 (E XBLANK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HLRZ@ 1 -1 P) 
       (HLRZ@ 1 1) 
       (CALL 1 (E BBEX) S) 
       (MOVEI 2 (QUOTE 12)) 
       (CALL 2 (E BRACKET) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE B) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (CALL 0 (E XBLANK) S) 
       (PUSH P 1) 
       (MOVEI 1 (QUOTE then) S) 
       (CALL 1 (E XBOLD) S) 
       (PUSH P 1) 
       (CALL 0 (E XBLANK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE X) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HLRZ@ 1 -2 P) 
       (HRRZ@ 1 1) 
       (CALL 1 (E BBEXL) S) 
       (MOVEI 2 (QUOTE 12)) 
       (CALL 2 (E BRACKET) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE B) S) 
       (CALL 2 (E MAK) S) 
       (CALL 1 (E NCONS) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE T) S) 
       (CALL 2 (E MAK) S) 
       (PUSH P 1) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E BBELSE) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP INOPB SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (PUSH P 3) 
       (MOVE 1 2) 
       (JUMPE 1 TAG1) 
       (MOVE 2 0 P) 
       (HLRZ@ 1 -1 P) 
       (CALL 2 (E BRACKET) S) 
       (MOVE 3 0 P) 
       (HRRZ@ 2 -1 P) 
       (PUSH P 1) 
       (MOVE 1 -3 P) 
       (CALL 3 (E INOPBB) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
 TAG1  (SUB P (C 3 0 3 0)) 
       (POPJ P) 
       NIL 

(LAP INOPBB SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (PUSH P 3) 
       (MOVE 1 2) 
       (JUMPE 1 TAG1) 
       (MOVE 2 0 P) 
       (HLRZ@ 1 -1 P) 
       (CALL 2 (E BRACKET) S) 
       (CALL 1 (E NCONS) S) 
       (MOVE 2 -2 P) 
       (CALL 2 (E XCONS) S) 
       (MOVE 2 1) 
       (MOVEI 1 (QUOTE B) S) 
       (CALL 2 (E MAK) S) 
       (MOVE 3 0 P) 
       (HRRZ@ 2 -1 P) 
       (PUSH P 1) 
       (MOVE 1 -3 P) 
       (CALL 3 (E INOPBB) S) 
       (POP P 2) 
       (CALL 2 (E XCONS) S) 
 TAG1  (SUB P (C 3 0 3 0)) 
       (POPJ P) 
       NIL 

(LAP SIMPLEPRINT SUBR) 
       (PUSH P 1) 
       (CALL 1 (E CADR) S) 
       (CAIE 1 (QUOTE X) S) 
       (JRST 0 TAG2) 
       (MOVE 1 0 P) 
       (CALL 1 (E PRINX) S) 
       (JRST 0 TAG1) 
 TAG2  (HRRZ@ 2 0 P) 
       (HRRZ@ 2 2) 
       (MOVEI 1 (QUOTE SIMPLEPRINT) S) 
       (PUSHJ P *MAPC) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP PREH SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (PUSH P 3) 
       (PUSH P 4) 
       (MOVE 1 4) 
       (CALL 2 (E *MAX) S) 
       (MOVE 2 (SPECIAL SINDENT) S) 
       (PUSH P 1) 
       (CALL 2 (E *PLUS) S) 
       (HRRZ@ 2 -4 P) 
       (HRRZ@ 2 2) 
       (PUSH P 1) 
       (MOVEM 2 -5 P) 
       (JUMPE 2 TAG3) 
 TAG1  (PUSH P 0 P) 
       (PUSH P -6 P) 
       (HLRZ@ 1 0 P) 
       (PUSH P 1) 
       (HRRZ@ 1 -10 P) 
       (JUMPN 1 TAG10) 
       (MOVE 3 -6 P) 
       (JRST 0 TAG7) 
 TAG10 (MOVEI 3 (QUOTE 0)) 
 TAG7  (MOVE 2 -2 P) 
       (POP P 1) 
       (CALL 3 (E PREX) S) 
       (SUB P (C 2 0 2 0)) 
       (HRRZ@ 1 -5 P) 
       (MOVEM 1 -5 P) 
       (JUMPE 1 TAG3) 
       (HLRZ@ 2 -5 P) 
       (MOVE 1 -1 P) 
       (CALL 2 (E ULINE) S) 
       (JRST 0 TAG1) 
 TAG3  (MOVEI 1 (QUOTE NIL)) 
       (SUB P (C 6 0 6 0)) 
       (POPJ P) 
       NIL 

(LAP PRA SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (PUSH P 3) 
       (HRRZ@ 1 -2 P) 
       (CALL 1 (E CDDR) S) 
       (PUSH P 1) 
       (HRRZ@ 1 -3 P) 
       (CALL 1 (E CADR) S) 
       (HLRZ@ 2 0 P) 
       (HLRZ@ 2 2) 
       (MOVEM 1 0 P) 
       (MOVE 1 -1 P) 
       (CALL 2 (E *PLUS) S) 
       (MOVE 3 1) 
       (MOVE 2 -2 P) 
       (POP P 1) 
       (CALL 3 (E PREX) S) 
       (MOVE 3 0 P) 
       (MOVE 2 -1 P) 
       (HRRZ@ 1 -2 P) 
       (CALL 1 (E CADDR) S) 
       (SUB P (C 3 0 3 0)) 
       (JCALL 3 (E PREX) S) 
       NIL 

(LAP PRF SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (PUSH P 3) 
       (PUSH P 4) 
       (MOVE 2 (SPECIAL POS) S) 
       (CALL 1 (E CAADDR) S) 
       (CALL 2 (E *PLUS) S) 
       (PUSH P 1) 
       (MOVE 1 (SPECIAL IND) S) 
       (CALL 1 (E MINUS) S) 
       (POP P 2) 
       (CALL 2 (E *PLUS) S) 
       (MOVE 2 0 P) 
       (CALL 2 (E *GREAT) S) 
       (JUMPN 1 TAG4) 
       (MOVE 2 (SPECIAL POS) S) 
       (HRRZ@ 1 -3 P) 
       (CALL 1 (E CAADR) S) 
       (CALL 2 (E *PLUS) S) 
       (MOVE 2 (SPECIAL LINL) S) 
       (CALL 2 (E *GREAT) S) 
       (JUMPE 1 TAG2) 
 TAG4  (MOVE 2 (SPECIAL FINDENT) S) 
       (MOVE 1 (SPECIAL IND) S) 
       (CALL 2 (E *PLUS) S) 
       (MOVE 2 -2 P) 
       (CALL 2 (E *MAX) S) 
       (PUSH P 1) 
       (HRRZ@ 1 -4 P) 
       (CALL 1 (E CADR) S) 
       (MOVE 2 (SPECIAL SINDENT) S) 
       (PUSH P 1) 
       (MOVE 1 -1 P) 
       (CALL 2 (E *PLUS) S) 
       (MOVEI 3 (QUOTE 0)) 
       (MOVE 2 1) 
       (POP P 1) 
       (CALL 3 (E PREX) S) 
       (MOVE 1 0 P) 
       (CALL 1 (E NEWLINE) S) 
       (MOVE 3 -2 P) 
       (MOVE 2 0 P) 
       (HRRZ@ 1 -4 P) 
       (CALL 1 (E CADDR) S) 
       (CALL 3 (E PREX) S) 
       (MOVEI 1 (QUOTE NIL)) 
       (SUB P (C 1 0 1 0)) 
       (JRST 0 TAG1) 
 TAG2  (MOVEI 3 (QUOTE 0)) 
       (MOVEI 2 (QUOTE 0)) 
       (HRRZ@ 1 -3 P) 
       (CALL 1 (E CADR) S) 
       (CALL 3 (E PREX) S) 
       (MOVE 3 -1 P) 
       (MOVE 2 -2 P) 
       (HRRZ@ 1 -3 P) 
       (CALL 1 (E CADDR) S) 
       (CALL 3 (E PREX) S) 
 TAG1  (SUB P (C 4 0 4 0)) 
       (POPJ P) 
       NIL 

(LAP PRT SUBR) 
       (PUSH P 2) 
       (MOVE 2 (SPECIAL HINDENT) S) 
       (PUSH P 1) 
       (MOVE 1 (SPECIAL IND) S) 
       (PUSH P 3) 
       (CALL 2 (E *PLUS) S) 
       (MOVE 2 -2 P) 
       (CALL 2 (E *MAX) S) 
       (MOVEM 1 -2 P) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E CADDR) S) 
       (HRRZ@ 2 1) 
       (HRRZ@ 2 2) 
       (HLRZ@ 2 2) 
       (HLRZ@ 2 2) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E CAADR) S) 
       (CALL 2 (E *PLUS) S) 
       (MOVE 2 (SPECIAL POS) S) 
       (CALL 2 (E *PLUS) S) 
       (MOVE 2 (SPECIAL LINL) S) 
       (CALL 2 (E *GREAT) S) 
       (JUMPN 1 TAG2) 
       (MOVEI 3 (QUOTE 0)) 
       (MOVEI 2 (QUOTE 0)) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E CADR) S) 
       (CALL 3 (E PREX) S) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E CADDR) S) 
       (MOVEI 3 (QUOTE 0)) 
       (MOVEI 2 (QUOTE 0)) 
       (CALL 1 (E CADDR) S) 
       (CALL 3 (E PREX) S) 
       (MOVE 1 -2 P) 
       (CALL 1 (E NEWLINE) S) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E CADDR) S) 
       (MOVE 3 0 P) 
       (MOVE 2 -2 P) 
       (CALL 1 (E CADDDR) S) 
       (CALL 3 (E PREX) S) 
       (JRST 0 TAG1) 
 TAG2  (HRRZ@ 1 -1 P) 
       (CALL 1 (E CADR) S) 
       (MOVE 2 (SPECIAL SINDENT) S) 
       (PUSH P 1) 
       (MOVE 1 -3 P) 
       (CALL 2 (E *PLUS) S) 
       (MOVEI 3 (QUOTE 0)) 
       (MOVE 2 1) 
       (POP P 1) 
       (CALL 3 (E PREX) S) 
       (MOVE 1 -2 P) 
       (CALL 1 (E NEWLINE) S) 
       (HRRZ@ 1 -1 P) 
       (CALL 1 (E CADDR) S) 
       (MOVE 2 (SPECIAL SINDENT) S) 
       (PUSH P 1) 
       (MOVE 1 -3 P) 
       (CALL 2 (E *PLUS) S) 
       (MOVE 3 -1 P) 
       (MOVE 2 1) 
       (POP P 1) 
       (CALL 3 (E PREX) S) 
 TAG1  (SUB P (C 3 0 3 0)) 
       (POPJ P) 
       NIL 

(LAP PRINX SUBR) 
       (HRRZ@ 2 1) 
       (HRRZ@ 2 2) 
       (MOVEI 1 (QUOTE PRINXX) S) 
       (JRST 0 *MAPC) 
       NIL 

(LAP PRINXX SUBR) 
       (PUSH P 1) 
       (MOVE 1 (SPECIAL POS) S) 
       (CAME 1 (SPECIAL IND) S) 
       (JRST 0 TAG2) 
       (HRRZ@ 1 0 P) 
       (CALL 1 (E CADR) S) 
       (CAIE 1 (QUOTE / ) S) 
       (JRST 0 TAG2) 
       (MOVEI 1 (QUOTE NIL)) 
       (JRST 0 TAG1) 
 TAG2  (MOVE 1 (SPECIAL PUB) S) 
       (JUMPE 1 TAG10) 
       (MOVE 1 (SPECIAL SELECTCHAR) S) 
       (CALL 1 (E PRINC) S) 
       (HRRZ@ 2 0 P) 
       (HLRZ@ 2 2) 
       (MOVE 1 (SPECIAL FONTSYMS) S) 
       (CALL 2 (E NTH) S) 
       (HLRZ@ 1 1) 
       (CALL 1 (E PRINC) S) 
       (HRRZ@ 2 0 P) 
       (HRRZ@ 2 2) 
       (MOVEI 1 (QUOTE PRIN1) S) 
       (PUSHJ P *MAPC) 
       (JRST 0 TAG7) 
 TAG10 (MOVE 1 (SPECIAL XGP) S) 
       (JUMPE 1 TAG11) 
       (MOVE 1 (SPECIAL SELECTCHAR) S) 
       (CALL 1 (E PRINC) S) 
       (HRRZ@ 2 0 P) 
       (HLRZ@ 2 2) 
       (MOVE 1 (SPECIAL FONTSYMS) S) 
       (CALL 2 (E NTH) S) 
       (HLRZ@ 1 1) 
       (CALL 1 (E PRINC) S) 
       (HRRZ@ 2 0 P) 
       (HRRZ@ 2 2) 
       (MOVEI 1 (QUOTE PRINC) S) 
       (PUSHJ P *MAPC) 
       (JRST 0 TAG7) 
 TAG11 (HRRZ@ 2 0 P) 
       (HRRZ@ 2 2) 
       (MOVEI 1 (QUOTE PRINC) S) 
       (PUSHJ P *MAPC) 
 TAG7  (HLRZ@ 2 0 P) 
       (MOVE 1 (SPECIAL POS) S) 
       (CALL 2 (E *PLUS) S) 
       (MOVEM 1 (SPECIAL POS) S) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(DEFPROP SELECTCHAR (SELECTCHAR . %) VALUE) 

(DEFPROP FONTSYMS (FONTSYMS /2 /3 /4 /5 /6 /7 /8 /9 A B C D E F G) VALUE) 

(LAP ULINE SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (HRRZ@ 1 2) 
       (HLRZ@ 1 1) 
       (CAIE 1 (QUOTE U) S) 
       (JRST 0 TAG2) 
       (HRRZ@ 2 2) 
       (HRRZ@ 2 2) 
       (HLRZ@ 2 2) 
       (HLRZ@ 2 2) 
       (MOVE 1 -1 P) 
       (CALL 2 (E *DIF) S) 
       (MOVEI 2 (QUOTE 0)) 
       (CALL 2 (E *MAX) S) 
       (CALL 1 (E NEWLINE) S) 
       (JRST 0 TAG1) 
 TAG2  (MOVE 1 -1 P) 
       (CALL 1 (E NEWLINE) S) 
 TAG1  (SUB P (C 2 0 2 0)) 
       (POPJ P) 
       NIL 

(LAP PRINDEC SUBR) 
       (PUSH P 1) 
       (PUSH P (SPECIAL BASE) S) 
       (PUSH P (SPECIAL *NOPOINT) S) 
       (MOVEI 1 (QUOTE 12)) 
       (MOVEM 1 (SPECIAL BASE) S) 
       (MOVEI 1 (QUOTE T) S) 
       (MOVEM 1 (SPECIAL *NOPOINT) S) 
       (MOVE 1 -2 P) 
       (CALL 1 (E PRINC) S) 
       (MOVE 1 -1 P) 
       (MOVEM 1 (SPECIAL BASE) S) 
       (MOVE 1 0 P) 
       (MOVEM 1 (SPECIAL *NOPOINT) S) 
       (MOVEI 1 (QUOTE NIL)) 
       (SUB P (C 3 0 3 0)) 
       (POPJ P) 
       NIL 

(LAP XSPACE SUBR) 
       (PUSH P 1) 
       (CAIE 1 (QUOTE 0)) 
       (JRST 0 TAG2) 
       (MOVEI 1 (QUOTE NIL)) 
       (JRST 0 TAG1) 
 TAG2  (MOVEI 1 (QUOTE 177)) 
       (CALL 1 (E ASCII) S) 
       (CALL 1 (E PRINC) S) 
       (MOVEI 1 (QUOTE α) S) 
       (CALL 1 (E PRINC) S) 
       (MOVE 1 0 P) 
       (CALL 1 (E ASCII) S) 
       (CALL 1 (E PRINC) S) 
 TAG1  (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(DEFPROP PFONTS (PFONTS /2 /3 /4 /5 /6 /7 /8 /9 A B C D E F G) VALUE) 

(LAP PRINTC SUBR) 
       (PUSH P 1) 
       (CALL 0 (E TERPRI) S) 
       (MOVE 1 0 P) 
       (SUB P (C 1 0 1 0)) 
       (JCALL 1 (E PRINC) S) 
       NIL 

(LAP BBXGPPUB SUBR) 
       (PUSH P 1) 
       (MOVE 1 (SPECIAL XGPLINL) S) 
       (MOVEM 1 (SPECIAL LINL) S) 
       (MOVEI 1 (QUOTE 10000)) 
       (CALL 1 (E LINELENGTH) S) 
       (MOVE 2 (SPECIAL CHARW) S) 
       (MOVE 1 (SPECIAL SIN) S) 
       (CALL 2 (E *TIMES) S) 
       (MOVEM 1 (SPECIAL SINDENT) S) 
       (MOVE 2 (SPECIAL CHARW) S) 
       (MOVE 1 (SPECIAL FIN) S) 
       (CALL 2 (E *TIMES) S) 
       (MOVEM 1 (SPECIAL FINDENT) S) 
       (MOVE 2 (SPECIAL CHARW) S) 
       (MOVE 1 (SPECIAL HIN) S) 
       (CALL 2 (E *TIMES) S) 
       (MOVEM 1 (SPECIAL HINDENT) S) 
       (MOVE 2 (SPECIAL CHARW) S) 
       (MOVE 1 (SPECIAL MAXF) S) 
       (CALL 2 (E *TIMES) S) 
       (MOVEM 1 (SPECIAL FMAX) S) 
       (MOVEI 1 (QUOTE T) S) 
       (MOVEM 1 (SPECIAL XGP) S) 
       (MOVE 2 0 P) 
       (MOVEI 1 (QUOTE BBPPROPS) S) 
       (PUSHJ P *MAPC) 
       (MOVEI 1 (QUOTE 105)) 
       (SUB P (C 1 0 1 0)) 
       (JCALL 1 (E LINELENGTH) S) 
       NIL 

(DEFPROP XGPLINL (XGPLINL . 2424) VALUE) 

(DEFPROP CHARW (CHARW . 20) VALUE) 

(LAP SCANTABLE SUBR) 
       (PUSH P (C 0 0 (QUOTE 200) 0)) 
       (PUSH P (C 0 0 (QUOTE NIL) 0)) 
 TAG1  (MOVE 1 -1 P) 
       (CALL 1 (E SUB1) S) 
       (MOVEI 2 (QUOTE NIL)) 
       (MOVEM 1 -1 P) 
       (CALL 2 (E MODCHR) S) 
       (MOVE 2 0 P) 
       (CALL 2 (E CONS) S) 
       (MOVEM 1 0 P) 
       (MOVEI 2 (QUOTE 0)) 
       (MOVE 1 -1 P) 
       (CALL 2 (E *GREAT) S) 
       (JUMPN 1 TAG1) 
       (MOVE 1 0 P) 
       (SUB P (C 2 0 2 0)) 
       (POPJ P) 
       NIL 

(LAP SETBITS SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (PUSH P (C 0 0 TAG1 0)) 
       (PUSH P (C 0 0 (QUOTE 7) 0)) 
       (PUSH P 1) 
       (PUSH P 2) 
       (MOVNI 6 3) 
       (JCALL 16 (E BOOLE) S) 
 TAG1  (SUB P (C 2 0 2 0)) 
       (POPJ P) 
       NIL 

(LAP CLEARBITS SUBR) 
       (PUSH P 1) 
       (PUSH P 2) 
       (PUSH P (C 0 0 TAG1 0)) 
       (PUSH P (C 0 0 (QUOTE 2) 0)) 
       (PUSH P 2) 
       (PUSH P 1) 
       (MOVNI 6 3) 
       (JCALL 16 (E BOOLE) S) 
 TAG1  (SUB P (C 2 0 2 0)) 
       (POPJ P) 
       NIL 

(LAP SLASHIFY SUBR) 
       (PUSH P 1) 
       (PUSH P (C 0 0 (QUOTE 0) 0)) 
 TAG1  (MOVE 2 -1 P) 
       (MOVE 1 0 P) 
       (CALL 2 (E MEMBER) S) 
       (JUMPE 1 TAG6) 
       (MOVEI 2 (QUOTE NIL)) 
       (MOVE 1 0 P) 
       (CALL 2 (E MODCHR) S) 
       (MOVEI 2 (QUOTE -200000000000) S) 
       (CALL 2 (E CLEARBITS) S) 
       (MOVE 2 1) 
       (MOVE 1 0 P) 
       (CALL 2 (E MODCHR) S) 
       (JRST 0 TAG5) 
 TAG6  (MOVEI 2 (QUOTE NIL)) 
       (MOVE 1 0 P) 
       (CALL 2 (E MODCHR) S) 
       (MOVEI 2 (QUOTE -200000000000) S) 
       (CALL 2 (E SETBITS) S) 
       (MOVE 2 1) 
       (MOVE 1 0 P) 
       (CALL 2 (E MODCHR) S) 
 TAG5  (MOVE 1 0 P) 
       (CALL 1 (E ADD1) S) 
       (MOVEM 1 0 P) 
       (MOVEI 2 (QUOTE 200)) 
       (CALL 2 (E *LESS) S) 
       (JUMPN 1 TAG1) 
       (MOVEI 1 (QUOTE NIL)) 
       (SUB P (C 2 0 2 0)) 
       (POPJ P) 
       NIL 

(LAP SETSLASHES SUBR) 
       (PUSH P 1) 
       (CALL 0 (E SCANTABLE) S) 
       (MOVEM 1 (SPECIAL LISPSCAN) S) 
       (PUSH P (C 0 0 TAG4 0)) 
       (MOVEI D (QUOTE CHRVAL) S) 
       (PUSH P D) 
       (PUSH P -2 P) 
       (MOVNI 6 2) 
       (JCALL 16 (E MAPCAR) S) 
 TAG4  (CALL 1 (E SLASHIFY) S) 
       (CALL 0 (E SCANTABLE) S) 
       (MOVEM 1 (SPECIAL PROGSCAN) S) 
       (MOVEI 2 (QUOTE SUBR) S) 
       (MOVEI 1 (QUOTE SCANPUSH) S) 
       (CALL 2 (E GET) S) 
       (MOVEM 1 (SPECIAL %SCANSETFLAG%) S) 
       (SUB P (C 1 0 1 0)) 
       (POPJ P) 
       NIL 

(LAP SETSCANTABLE SUBR) 
       (PUSH P 1) 
       (PUSH P (C 0 0 (QUOTE 0) 0)) 
 TAG1  (HLRZ@ 2 -1 P) 
       (MOVE 1 0 P) 
       (CALL 2 (E MODCHR) S) 
       (MOVE 1 0 P) 
       (CALL 1 (E ADD1) S) 
       (HRRZ@ 2 -1 P) 
       (MOVEM 1 0 P) 
       (MOVEM 2 -1 P) 
       (JUMPN 2 TAG1) 
       (MOVEI 1 (QUOTE NIL)) 
       (SUB P (C 2 0 2 0)) 
       (POPJ P) 
       NIL 

(LAP SCANPUSH SUBR) 
       (MOVE 1 (SPECIAL LISPSCAN) S) 
       (JCALL 1 (E SETSCANTABLE) S) 
       NIL 

(LAP SCANPOP SUBR) 
       (MOVE 1 (SPECIAL PROGSCAN) S) 
       (JCALL 1 (E SETSCANTABLE) S) 
       NIL